Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
581	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.uni-muenster.de Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
582	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
583	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: www.vps.fmvz.usp.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
584	(or Eedie & Eddie on the Wire An Experiment in Music Generation Peter S. Langston Bell Communications Research Add to Reading List Source URL: www.langston.com Language: English - Date: 2005-01-25 00:49:47 Formal grammar Algorithmic composition Computer music MIDI DECtalk Rhythm Algorithm Synthesizer Meter Music Formal languages L-system
585	YakYak: Parsing with Logical Side Constraints Niels Damgaard Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-12-15 06:18:13 Combinatorics Parse tree Context-free grammar Formal grammar LR parser Binary tree Tree automaton Attribute grammar Parsing Formal languages Software engineering Mathematics
586	T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Applied mathematics Formal languages International Colloquium on Automata Languages and Programming Presburger Award Symposium on Theoretical Aspects of Computer Science Alphabet European Association for Theoretical Computer Science Symposium on Theory of Computing Theoretical computer science Computer science Automata theory
587	PARSING AND CODE GENERATION TECHNIQUES TO DEAL WITH UNCERTAINTY: EXPERIENCES FROM HIGHLY-EVOLVING AND COMPLEX SYSTEMS Cedric Lemaire, BNPParibas, Paris - France Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2005-10-11 04:35:54 Compiler construction Formal languages Programming language implementation Domain-specific language C++ Parsing Domain-specific modeling Automatic programming Generic programming Software engineering Computing Computer programming
588	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.ms.unimelb.edu.au Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
589	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
590	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory

UPDATE